The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...) be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

There has been much criticism of the idea that Friston's free-energy principle can unite the life and mind sciences. Here, we argue that perhaps the greatest problem for the totalizing ambitions of its proponents is a failure to recognize the importance of evolutionary dynamics and to provide a convincing adaptive story relating free-energy minimization to organismal fitness.

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. Examples (...) include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

Albert Einstein’s bold assertion of the form invariance of the equation of a spherical light wave with respect to inertial frames of reference became, in the space of 6 years, the preferred foundation of his theory of relativity. Early on, however, Einstein’s universal light-sphere invariance was challenged on epistemological grounds by Henri Poincaré, who promoted an alternative demonstration of the foundations of relativity theory based on the notion of a light ellipsoid. A third figure of light, Hermann Minkowski’s lightcone also (...) provided a new means of envisioning the foundations of relativity. Drawing in part on archival sources, this paper shows how an informal, international group of physicists, mathematicians, and engineers, including Einstein, Paul Langevin, Poincaré, Hermann Minkowski, Ebenezer Cunningham, Harry Bateman, Otto Berg, Max Planck, Max von Laue, A. A. Robb, and Ludwig Silberstein, employed figures of light during the formative years of relativity theory in their discovery of the salient features of the relativistic worldview. (shrink)

This chapter discusses the roles of ether and electrons in relativity theory. One of the most radical moves made by Albert Einstein was to dismiss the ether from electrodynamics. His fellow physicists felt challenged by Einstein’s view, and they came up with a variety of responses, ranging from enthusiastic approval, to dismissive rejection. Among the naysayers were the electron theorists, who were unanimous in their affirmation of the ether, even if they agreed with other aspects of Einstein’s theory of relativity. (...) The eventual success of the latter theory (circa 1911) owed much to Hermann Minkowski’s idea of four-dimensional spacetime, which was portrayed as a conceptual substitute of sorts for the ether. (shrink)

The two greatest mathematicians of the early twentieth century, David Hilbert and Henri Poincaré transformed the mathematics of their time. Their personal interaction was infrequent, until Hilbert invited Poincaré to deliver the first Wolfskehl Lectures in Göttingen in the spring of 1909. A correspondence ensued, which fixed the content and timing of the lecture series. A close reading of the exchange throws light on what Hilbert wanted Poincaré to talk about, and on what Poincaré wanted to present to Hilbert and (...) his colleagues. To answer the latter question, reference is made to the published version of Poincaré’s six talks, with a focus on two of them, concerning the propagation of Hertzian waves, and the theory of relativity. (shrink)

Albert Einstein's bold assertion of the form-invariance of the equation of a spherical light wave with respect to inertial frames of reference became, in the space of six years, the preferred foundation of his theory of relativity. Early on, however, Einstein's universal light-sphere invariance was challenged on epistemological grounds by Henri Poincaré, who promoted an alternative demonstration of the foundations of relativity theory based on the notion of a light-ellipsoid. Drawing in part on archival sources, this paper shows how an (...) informal, international group of physicists, mathematicians, and engineers, including Einstein, Paul Langevin, Poincaré, Hermann Minkowski, Ebenezer Cunningham, Harry Bateman, Otto Berg, Max Planck, Max Laue, A. A. Robb, and Ludwig Silberstein, employed figures of light during the formative years of relativity theory in their discovery of the salient features of the relativistic worldview. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward (...) a natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

On a currently popular reading of Locke, an idea represents its cause, or what God intended to be its cause. Against Martha Bolton and my former self (among others), I argue that Locke cannot hold such a view, since it sins against his epistemology and theory of abstraction. I argue that Locke is committed to a resemblance theory of representation, with the result that ideas of secondary qualities are not representations.

Like their contemporary counterparts, early modern philosophers find themselves in a predicament. On one hand, there are strong reasons to deny that sensations are representations. For there seems to be nothing in the world for them to represent. On the other hand, some sensory representations seem to be required for us to experience bodies. How else could one perceive the boundaries of a body, except by means of different shadings of color? I argue that Nicolas Malebranche offers an extreme -- (...) and ultimately unworkable -- attempt to solve this riddle. Most commentators claim that Malebranche defends an adverbial theory of sensation, according to which a sensation is merely a way in which an act of sensing happens. The adverbial reading is wrong, or so I argue. Once we arrive at a more accurate reading, we shall see that his position is much more strange than is currently thought. Nevertheless, Malebranche’s view is similar to the adverbial theory in one respect, albeit it at a very high level of generality. His view thus inherits two of the main problems that afflict adverbial theories. Although Malebranche fails to solve them, his ingenious attempts to do so are instructive. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

Eliminativism is a position most readily associated with the eliminative materialism of the Churchlands, denying that there are such things as propositional states. This position has created much controversy, despite the fact that intentionality has long been seen as perhaps the core problem for naturalistic philosophy. There is a more radical interpretation of eliminativism, however, denying not only mental states, such as beliefs and desires, but also intentionality (i.e., aboutness) on a global level. This position traces its contemporary origin back (...) to Quine, but has generally been assumed to undermine naturalism or, worse, to be incoherent by the majority of philosophers who maintain that there clearly are things or mental states that are about others. In a recent paper, Hutto and Satne (2015a) offer an update that tries to revive John Haugeland’s baseball analogy from his influential 1990 review paper The Intentionality All-Stars on the state of the game to argue that the failure of Neo-Cartesians, Neo- Behaviorists, and Neo-Pragmatists should urge us to make them work together to naturalize content and “win the game.” But Hutto and Satne misunderstand what the game is ultimately about. The goal of the Intentionality All-Stars is not to naturalize content against eliminativism but to defend a naturalist “thirdperson” view of the problem against first-person phenomenalists. For this goal, a naturalist defense of global content eliminativism would equally enable them to emerge victorious. Revisiting Haugeland, I will offer my own analysis of the current state of play to argue that global content eliminativism has not received sufficient attention and deserves a more prominent place in the debate than it currently occupies. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

An indeterminate version of Henry Sidgwick’s “Dualism of Practical Reason” may offer a solution to Derek Parfit’s “Repugnant Conclusion”. Here we will outline the problem of Sidgwick’s Dualism and how to resolve it within the framework of practical reason and the problem of Parfit’s Repugnance and why it is irresoluble within the framework of pure utilitarianism. Then we will argue how Sidgwick’s Dualism, under certain formulations of indeterminacy, specifically under those Indeterminacy Views advanced by David Phillips (and others), implies a (...) resolution to the Repugnant Conclusion that is both intuitive and simple, resolving Sidgwick’s Dualism and Parfit’s Repugnance in one conceptual move. (shrink)

This is, to the best of my knowledge, the first published attempt at a rigorous logical formalization of a passage in Leibniz's Monadology. The method we followed was suggested by Johannes Czermak.

I applaud recent improvements upon previous guidelines for the assessment of pain in non-human species and the application of their framework towards decapod crustaceans. Rather than constituting a mere intermediate solution between the scientific difficulty of settling questions of animal consciousness and the need for a framework for the purposes of animal welfare legislation, I will argue that the longer lists of criteria for animal sentience should make us realize that animal sentience is a multi-dimensional phenomenon that must be studied (...) with a plethora of methods in order to assess its diversity across the tree of life. (shrink)

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

This article presents a comparative theory of subjective argument strength simple enough for application. Using the axioms and corollaries of the theory, anyone with an elementary knowledge of logic and probability theory can produce an at least minimally rational ranking of any set of arguments according to their subjective strength, provided that the arguments in question are descriptive ones in standard form. The basic idea is that the strength of argument A as seen by person x is a function of (...) three factors: x's degree of belief in the premisses of A; x's degree of belief in the conclusion of A under the assumption that all premisses of A are true; and x's belief in the conclusion of A under the assumption that not all premisses of A are true. (shrink)

Karl Popper discovered in 1938 that the unconditional probability of a conditional of the form ‘If A, then B’ normally exceeds the conditional probability of B given A, provided that ‘If A, then B’ is taken to mean the same as ‘Not (A and not B)’. So it was clear (but presumably only to him at that time) that the conditional probability of B given A cannot be reduced to the unconditional probability of the material conditional ‘If A, then B’. (...) I describe how this insight was developed in Popper’s writings and I add to this historical study a logical one, in which I compare laws of excess in Kolmogorov probability theory with laws of excess in Popper probability theory. (shrink)

In this commentary we advance Jagiello et al.'s proposal by zooming in on the possible evolutionary origins of the “bifocal stance” that may have enabled a major transition in human cultural evolution, arguing that the evolution of the bifocal stance was driven by an explosion in cultural complexity arising from cooperative foraging, which led to a feedback loop between the ritual and instrumental stances.

Identification of factors that predict recurrent antisocial behavior is integral to the social sciences, criminal justice procedures, and the effective treatment of high-risk individuals. Here we show that error-related brain activity elicited during performance of an in- hibitory task prospectively predicted subsequent rearrest among adult offenders within 4 y of release (N =96). The odds that an offender with relatively low anterior cingulate activity would be rearrested were approximately double that of an offender with high activity in this region, holding (...) constant other observed risk factors. These results suggest a potential neurocognitive biomarker for persistent antisocial behavior. (shrink)

I set up two axiomatic theories of inductive support within the framework of Kolmogorovian probability theory. I call these theories ‘Popperian theories of inductive support’ because I think that their specific axioms express the core meaning of the word ‘inductive support’ as used by Popper (and, presumably, by many others, including some inductivists). As is to be expected from Popperian theories of inductive support, the main theorem of each of them is an anti-induction theorem, the stronger one of them saying, (...) in fact, that the relation of inductive support is identical with the empty relation. It seems to me that an axiomatic treatment of the idea(s) of inductive support within orthodox probability theory could be worthwhile for at least three reasons. Firstly, an axiomatic treatment demands from the builder of a theory of inductive support to state clearly in the form of specific axioms what he means by ‘inductive support’. Perhaps the discussion of the new anti-induction proofs of Karl Popper and David Miller would have been more fruitful if they had given an explicit definition of what inductive support is or should be. Secondly, an axiomatic treatment of the idea(s) of inductive support within Kolmogorovian probability theory might be accommodating to those philosophers who do not completely trust Popperian probability theory for having theorems which orthodox Kolmogorovian probability theory lacks; a transparent derivation of anti-induction theorems within a Kolmogorovian frame might bring additional persuasive power to the original anti-induction proofs of Popper and Miller, developed within the framework of Popperian probability theory. Thirdly, one of the main advantages of the axiomatic method is that it facilitates criticism of its products: the axiomatic theories. On the one hand, it is much easier than usual to check whether those statements which have been distinguished as theorems really are theorems of the theory under examination. On the other hand, after we have convinced ourselves that these statements are indeed theorems, we can take a critical look at the axioms—especially if we have a negative attitude towards one of the theorems. Since anti-induction theorems are not popular at all, the adequacy of some of the axioms they are derived from will certainly be doubted. If doubt should lead to a search for alternative axioms, sheer negative attitudes might develop into constructive criticism and even lead to new discoveries. -/- I proceed as follows. In section 1, I start with a small but sufficiently strong axiomatic theory of deductive dependence, closely following Popper and Miller (1987). In section 2, I extend that starting theory to an elementary Kolmogorovian theory of unconditional probability, which I extend, in section 3, to an elementary Kolmogorovian theory of conditional probability, which in its turn gets extended, in section 4, to a standard theory of probabilistic dependence, which also gets extended, in section 5, to a standard theory of probabilistic support, the main theorem of which will be a theorem about the incompatibility of probabilistic support and deductive independence. In section 6, I extend the theory of probabilistic support to a weak Popperian theory of inductive support, which I extend, in section 7, to a strong Popperian theory of inductive support. In section 8, I reconsider Popper's anti-inductivist theses in the light of the anti-induction theorems. I conclude the paper with a short discussion of possible objections to our anti-induction theorems, paying special attention to the topic of deductive relevance, which has so far been neglected in the discussion of the anti-induction proofs of Popper and Miller. (shrink)

Diminishing Marginal Utility is widely accepted as a law of human action, and therefor has become one of the primary premises of ethics, economics, and politics. In popular parlance, “diminishing returns” has entered into the cliches of common sense; in philosophical argument, it has achieved the status of an axiomatic assumption; and indeed, in terms of personal experience or folk psychology, it seems to largely hold true for goods in general over a range of consumption. However, a theory of diminishing (...) marginal utility rests on some assumptions that we ignore at our peril. The a priori and a posteriori proofs of diminishing marginal utility, as developed by the Austrian economists like Ludwig von Mises and Hermann Heinrich Gossen, should be reassessed and critiqued from their fundamental principles to illuminate the theory’s pitfalls. Once these premises and their conclusions are not taken for granted, a more comprehensive and conscientious theory of value can be proposed: Complex or Inflecting Marginal Utility. (shrink)

In paragraph 21 of his "Logic of Scientific Discovery", Karl Popper characterizes with the help of two seemingly synonymous definitions the falsifiability of a theory as a logical relation between the theory itself and its basic statements. It is shown that his definitions do not agree with each other, and this result is applied to the problem of the falsifiability of contradictions, to the difference between falsifiable and empirical statements and to the demarcation criterion.

Paul Weingartner's classification of the sciences is analyzed in detail. There is a small mistake in the definition of the set of descriptive-normative sciences, which makes the classification incorrect, but which can easily be remedied.

How language works — its functions, mechanisms, and limitations — matters to the early moderns as much as it does to contemporary philosophers. Many of the moderns make reflection on language central to their philosophical projects, both as a tool for explaining human cognition and as a weapon to be used against competing views. Even in philosophers for whom language is less central, we can find important connections between their views on language and their other philosophical commitments.

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

This work is driven by the attempt to criticise Phenomenology with the help of Levinas. Similar to the Frankfurt School, he characterises it as a “vision of essences”. These eidetical essences are, and can never be fully absolute, not only because several movements of Hegelian Dialectics are refuted in submitting knowledge either to the imago of mere immanence, or to normative structures which are postulated as invariant like in certain versions of Neoplatonism, but because they function as an apriori of (...) an eternally unfinished and fragmented Lebenswelt. Maybe it is to harsh to compare Husserl to the neoscholastic readings of Descartes and to the formalist interpretations of Kant. Husserl is well aware of the kinaesthetic foundations of consciousness and, contrary to Heidegger, he even promotes Spinozism in a certain phase of his work which excels his adolescent fervour of Berkeley. Nevertheless, Husserl incorporates a subject-based, “monadic” transcendentalism, that paradoxically leads to the dissolution of subjective identity. Traditional reasoning itself is exfoliated to perfection in Heidegger afterwards. Husserl's halfhearted formalism ignores the materialist theory of the simulacrum by Lucretius. Heideggers philosophy widens this overseen aspect in calling the Eidos an Aussehen in referring to the Presocratics, but it despises any kind of method and finally flees in to poetry, maintaining its fatalist errors which it committed right form the start: this is why it gained the name of pseudo-concreteness. Cursed through a specific anti-sociological tendency caused by an anti-empiricist vision of history, their theories virtually (not conceptually) exclude the influences of society on philosophy: they are the end result of the era of Kulturkampf, in which idealism tried to battle positivism, naturalism and historicism. Husserl even defines this philosophical battle as the very struggle of existence. The formulation of the Eidos becomes performance. Aristotle used Eidos synonymous to genus and species. Hence the amplitudes of these philosophies foster the metaphysical standpoint of race, that got out of hand in the Nazi Era and even later on. The “topic” of blood and soil appears in Husserl's definition of Heimwelt and his Eurocentrism. Phenomenology is in no case to blame for National Socialism, and it has very little to to with its causes. My work simply tries to make the same analogy that Marx had made for Hegel. It tries to describe, how two leading philosophers of the German Bourgeoisie are reproducing the categories of their surrounding society without even really observing it. (shrink)

Imagine a world where everyone is healthy, intelligent, long living and happy. Intuitively this seems wonderful, albeit unrealistic. However, recent scientific developments in genetic engineering, namely CRISPR/Cas bring the question into public discourse, how the genetic enhancement of humans should be evaluated morally.

Two kinds of people might find this useful: first, those interested in the modern debate over ideas and representation who don’t happen to read French, or who do, but would like to have in one place the relevant excerpts, to see whether looking at the originals is worth their time. Second are teachers of modern philosophy. The back-and-forth among these figures makes for a refreshing change from the massive, often self-contained works that characterize much of the rest of such a (...) course. For example, one could easily work in chapter 3 (the high point of the debate, from my point of view) between Descartes and Berkeley. (shrink)

Are workers dominated? A recent suite of neo-republican and relational egalitarian philosophers think they are. Suppose they are right; that is, suppose that some workers are governed by an unjust and arbitrary power existing in labour relations, which persists even in the presence of the actual ability to exit. My question is this: does that give us reason to impose restrictions on firms? According to the so-called Efficiency Objection there are relevant trade-offs that need to be considered between the efficiency (...) of firms and the freedom of workers, and upon considering these trade-offs, we should reject workplace democracy. In this paper, I present a dilemma for the Efficiency Objection. I argue that either the Efficiency Objection is justified on moral grounds or non-moral grounds; if the Efficiency Objection is justified on moral grounds, then it fails because efficiency cannot be valued for its own sake (it is only instrumentally good); if the Efficiency Objection is justified on non-moral grounds, then it fails because of the respect that we owe to persons as persons; therefore, the Efficiency Objection fails. (shrink)

Like many others, I see Crump et al. (2022) as a milestone for improving upon previous guidelines and for extending their framework to decapod crustaceans. Their proposal would benefit from a firm evolutionary foundation by adding the comparative measurement of life-history complexity as a ninth criterion for attributing sentience to nonhuman animals.

Dorothy Edgington’s work has been at the centre of a range of ongoing debates in philosophical logic, philosophy of mind and language, metaphysics, and epistemology. This work has focused, although by no means exclusively, on the overlapping areas of conditionals, probability, and paradox. In what follows, I briefly sketch some themes from these three areas relevant to Dorothy’s work, highlighting how some of Dorothy’s work and some of the contributions of this volume fit in to these debates.

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

In his article “If Loud Aliens Explain Human Earliness, Quiet Aliens are also Rare”, Robin Hanson proposes the Grabby Alien Hypothesis, which proposes that extraterrestrial civilizations (ETIs) exist outside of our observable universe and are gradually expanding to fill the universe. The existence of such grabby aliens in our future expanding to fill all available niches puts a cosmic deadline on independently originating sources of life. This cosmic cutoff offers an explanation for why human observers seem to be relatively early (...) in spacetime, why the red dwarf stars seem to be inadequate for independently originating life, and why the Fermi Paradox remains unsolved. However, we should worry about Hanson’s proposal, since the Grabby Alien Hypothesis has its own paradoxical implication, namely that most observers in most reference classes should be grabby aliens themselves (Bostrom, 2002). Thus, oddly, finding ourselves not to be grabby alien observers, it seems Hanson is beholden to explain why we are not. Some possibilities for grabby alien observer alternatives can be offered, though none are particularly explanatorily appealing. In what follows, we will 1) attempt to restate in simple terms Hanson’s assumptions, and then 2) reassemble Hanson’s arguments, showing they lead to a paradox, and 3) consider which assumptions should be rejected and at what cost. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

This book attempts to advance Donald Griffin's vision of the "final, crowning chapter of the Darwinian revolution" by developing a philosophy for the science of animal consciousness. It advocates a Darwinian bottom-up approach that treats consciousness as a complex, evolved, and multidimensional phenomenon in nature rather than a mysterious all-or-nothing property immune to the tools of science and restricted to a single species. -/- The so-called emergence of a science of consciousness in the 1990s has at best been a science (...) of human consciousness. This book aims to advance a true Darwinian science of consciousness in which its evolutionary origin, function, and phylogenetic diversity are moved from the field’s periphery to its very centre, thus enabling us to integrate consciousness into an evolutionary view of life. Accordingly, this book has two objectives: (i) to argue for the need and possibility of an evolutionary bottom-up approach that addresses the problem of consciousness in terms of the evolutionary origins of a new ecological lifestyle that made consciousness worth having and (ii) to articulate a thesis and beginnings of a theory of the place of consciousness as a complex evolved phenomenon in nature that can help us to answer the question of what it is like to be a bat, an octopus, or a crow. -/- A Philosophy for the Science of Animal Consciousness will appeal to researchers and advanced students interested in advancing our understanding of animal minds as well as anyone with a keen interest in how we can develop a science of animal consciousness. (shrink)

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

In order to develop a true biological science of consciousness, we have to remove humans from the center of reference and develop a bottom-up comparative study of animal minds, as Donald Griffin intended with his call for a “cognitive ethology.” In this article, I make use of the pathological complexity thesis (Veit 2022a, b, c ) to show that we can firmly ground a comparative study of animal consciousness by drawing on the resources of state-based behavioral life history theory. By (...) comparing the different life histories of gastropods and arthropods, we will be able to make better sense of the possible origins of consciousness and its function for organisms in their natural environments. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)